Modeling, Verifying and Testing Mobility Protocol from SDL Language
نویسندگان
چکیده
This paper deals with mobility protocols specification, validation and testing using a formal approach. A well suited SDL model is proposed to handle the component-based nature of Mobile systems. Two solutions are proposed to derive automatically TTCN-3 test cases from the SDL model.
منابع مشابه
SDL and SystemC co-modelling: the protocol SDL models Tester
Testing of data transfer protocol can be performed by means of simulation and a variety of modeling languages may be used for it. Among them there are such languages as SDL and SystemC. Moreover an approach for SDL/SystemC co-modeling has been developed and already applied in practice. This paper discusses applicability of SDL/SystemC co-modeling for testing of data transfer protocols.
متن کاملTest Generation for a Protocol Specified in SDL with Complex Loops by Event-based EFSM Modeling
Test case generation for a network protocol by extended finite state machine (EFSM) based modeling is a well-known technique in formal methods in conformance testing. An input output based EFSM (IOEFSM) is a popular model for a protocol specified in the specification and description language (SDL) because an SDL process diagram is based on an input-driven EFSM. However, as an SDL specification ...
متن کاملEmbedded system protocol design flow based on SDL: from specification to hardware/software implementation
SDL (Specification and Description Language) is popular for communication protocol design. SDL tools allow simulating and verifying SDL models. In this paper, we show how SDL models can be transformed into hardware/software implementations for embedded systems. Our design flow contains a lightweight operating system integration layer and a cosimulation framework that supports hardware/software ...
متن کاملIntegrating Simple yet Robust Protocol Layers for Wireless Ad Hoc Intervehicle Communications
We present an approach to simulating ad hoc network protocols integrated with their intended application. We implement the protocol layers and the application using the Specification and Description Language (SDL). Then, we simulate the ad hoc network directly from the SDL model. Using the interface of the SDL software tool, we incorporate the mobility model for hosts described in trace files. ...
متن کاملTesting of 3G 1xEV-DV Stack - A Case Study
Due to immense competition in the market, mobile equipment vendors and service providers are faced with the challenge of delivering solutions early, way ahead of their competitors. Time-to-market pressures necessitate a carefully worked out test strategy for verifying and validating the correctness of mobile communication solutions. This paper outlines the various challenges that are faced in t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005